-
1 law of commutativity of conjunction
English-Russian scientific dictionary > law of commutativity of conjunction
-
2 commutativity
1) абелевость
2) коммутативность
3) переместительность ∙ law of commutativity of conjunction ≈ закон коммутативности конъюнкции - commutativity relation - degree of commutativity - finite commutativity - partial commutativity (математика) перестановочность, коммутативностьБольшой англо-русский и русско-английский словарь > commutativity
-
3 law of commutativity of conjunction
Математика: закон коммутативности конъюнкцииУниверсальный англо-русский словарь > law of commutativity of conjunction
-
4 commutativity
1) абелевость•
См. также в других словарях:
закон коммутативности — (от лат. commutatio изменение, перемена) общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией ( и ), дизъюнкцией ( или ), эквивалентностью ( если и только если ) и др. Эти законы аналогичны… … Словарь терминов логики
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
МЫШЛЕНИЯ ЗАКОНЫ — (логические) – законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения М. з. является выяснение объективных … Философская энциклопедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия